301. On the move to meaningful internet systems:
پدیدآورنده : Robert Meersman, [and 7 more] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
رده :
TK5105
.
3
R634
2013
302. PDE models for multi-agent phenomena /
پدیدآورنده : editors Pierre Cardaliaguet, Alessio Porretta and Francesco Salvarani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation, Congresses.,Mathematical models, Congresses.,Computer simulation.,Mathematical models.,SCIENCE-- System Theory.,TECHNOLOGY & ENGINEERING-- Operations Research.
رده :
QA76
.
9
.
C65
303. Parallel and distributed processing
پدیدآورنده : José Rolim, et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.,Parallel processing (Electronic computers), Congresses.
304. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
305. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
306. Recent trends in algebraic development techniques
پدیدآورنده : \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
307. Recent trends in algebraic development techniques
پدیدآورنده : Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
308. Recent trends in algebraic development techniques :
پدیدآورنده : José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
309. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
310. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
311. Runtime Verification
پدیدآورنده : \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
312. Runtime verificatio
پدیدآورنده : / Saddek Bensalem, Doron A. Peled (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses
رده :
QA
,
76
.
76
,.
V47
,
R88
,
2009
313. Runtime verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming ; Congresses. ; Computersicherheit. ; swd. ; Datensicherung. ; swd. ; Echtzeitsystem-Computer software ; Verification ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ; Aspect
314. Runtime verification
پدیدآورنده : Sarfraz Khurshid, Koushik Sen (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
315. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
316. Runtime verification :
پدیدآورنده : Axel Legay, Saddek Bensalem (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
318. Security, privacy, and applied cryptography engineering :
پدیدآورنده : Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
319. Security standardisation research :
پدیدآورنده : Cas Cremers, Anja Lehmann (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Information Technology.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A25
320. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
